Пошуковий запит: (<.>A=Пригожев А$<.>) |
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
|
1. |
Пригожев А. С. Использование ресурсных сетей для тестирования программного обеспечения [Електронний ресурс] / А. С. Пригожев // Радіоелектронні і комп’ютерні системи. - 2012. - № 6. - С. 240–245. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_6_45 Отмечено, что основной задачей тестирования является установление соответствия программы и ее спецификации. Этот процесс представляется достаточно сложным и требующим автоматизации. Основными проблемами при этом является большая разветвленность процесса решения задачи, большое количество тестовых наборов, а также отсутствие формальных критериев, позволяющих однозначно оценить соответствие программы и спецификации. Предложено использование для тестирования программного обеспечения новой потоковой модели - гибридных ресурсных сетей. Использование данного механизма позволяет существенно упростить и автоматизировать процесс тестирования программного обеспечения, сведя его к задаче поиска подобия между изображениями. Использование предлагаемого подхода в автоматизированных системах тестирования позволяет формализовать критерии, по которым возможно установить соответствие между программной и спецификацией.
|
2. |
Пригожев А. С. Информационная технология приобретения знаний для экспертной системы поддержки пользователя на основе алгоритмических алгебр [Електронний ресурс] / А. С. Пригожев // Радіоелектронні і комп’ютерні системи. - 2008. - № 6. - С. 155–158. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_6_28 Построена информационная технология приобретения знаний для экспертной системы поддержки пользователя на основе алгоритмических алгебр. Рассмотрены вопросы синтеза базы знаний на основе схемы алгоритма. Использование не интерпретированных схем алгоритмической алгебры Дейкстры позволяет настраивать базу знаний на любую решаемую пользователем задачу.
|
3. |
Пригожев А. С. Языконезависимая среда разработчика для тестирования программного обеспечения [Електронний ресурс] / А. С. Пригожев // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 225–230. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_41 Предложены подходы к проектированию среды поддержки разработчика в процессе отладки программного обеспечения (ПО). Рассмотрены существующие решения в области тестирования ПО. На основании анализа сформулирована задача построения среды поддержки разработчика, независимой от синтаксических конструкций конкретного языка программирования. Задачами данной среды является визуализация процесса отладки ПО, автоматизированный поиск ошибок, а также конвертация существующих исходных текстов на одном языке программирования в исходный текст на другом языке программирования. Базой для построения такой среды является граф, ориентированный на функциональную структуру программы. Предложена структурная схема среды, описаны основные алгоритмы ее функционирования.
|
4. |
Пригожев А. С. Построение классов эквивалентности с использованием графа задач [Електронний ресурс] / А. С. Пригожев // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 219–221. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_39 Предложен алгоритм автоматизированного построения графа задач для программного кода с использованием алгоритмических алгебр. На основании анализа графа строятся классы эквивалентности для тестирования программы. Сформулированы принципы анализа такого графа. Использование предложенного метода позволяет реализовать автоматизированное построение классов эквивалентных тестов и сократить время, используемое для построения тестов, за счёт уменьшения количества исполняемого программного кода.
|
5. |
Блажко А. А. Модели для автоматизированнной оптимизации производительности систем управления базами данных [Електронний ресурс] / А. А. Блажко, А. Ю. Левченко, А. С. Пригожев // Радіоелектронні і комп’ютерні системи. - 2010. - № 7. - С. 24–29. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_7_5
|
6. |
Левченко А. Ю. Использование скрытых марковских моделей для классификации корпоративных информационных систем [Електронний ресурс] / А. Ю. Левченко, А. С. Пригожев // Електромашинобудування та електрообладнання. - 2010. - № 75. - С. 106-112. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2010_75_22 Рассмотрены вопросы построения транзакционной модели поведения пользователя корпоративной информационной системы (КИС). Для построения такой модели предложено использовать аппарат теории систем массового обслуживания - марковские модели. Предложен критерий классификации КИС на основе марковских моделей.Розглянуто питання побудови транзакційної моделі поведінки користувача корпоративної інформаційної системи (КІС). Для побудови такої моделі запропоновано використовувати апарат теорії систем масового обслуговування - марковські моделі. Запропоновано критерій класифікації КІС на основі марковських моделей.The article represents the transaction model of corporate information system (CIS) user behaviour development. It is offered to use the scientific definition of the queuing theory Ц Markov models for such models construction. The CIS classification criteria based on the Markov models is offered.
|
7. |
Пригожев А. С. Архитектура среды тестирования на основе модели гибридных ресурсных сетей [Електронний ресурс] / А. С. Пригожев, Д. А. Неизвестный, О.С. Ларионова // Радіоелектронні і комп’ютерні системи. - 2016. - № 5. - С. 84–92. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_5_15 Предложена модель для тестирования программного обеспечения на основе гибридных ресурсных сетей. Определено понятие десятичного эквивалента структуры данных. Представлен метод проведения тестирования на основе гибридных ресурсных сетей, десятичного эквивалента и дифференциального исчисления. Представлена архитектура системы для автоматизированного тестирования и верификации программного обеспечения (ПО). Рассмотрены одни из основных компонентов системы: менеджер задач, визуальный редактор графов с применением силовых алгоритмов позиционирования вершин графа в визуальном редакторе и редактор спецификации. Спроектирована архитектура визуального редактора графов с применением шаблонов проектирования. Предложена реализация менеджера задач в виде RESTful веб-сервиса.
|